This is TeX, WAITS Version 2.1 (preloaded format=plain 87.2.17)  5 MAR 1987 12:54
**MENTAL.TEX[F76,JMC]
(MENTAL.TEX[F76,JMC] (JMCMAC.TEX[LET,JMC]
\hours=\count25
\minutes=\count26
\temp=\count27
\ampm=\toks12

! Font \ek=amtex10 at 8.33333pt not loadable: Metric (TFM) file not found.
p.4,l.2 \font\ek = amtex10 at 10truept↑↑I
                                         ↑↑I% typewriter type (TeX character ...

? 
\scount=\count28
\ecount=\count29
\itemcount=\count30
\subcount=\count31
\notecount=\count32
\partcount=\count33
\outlcount=\count34
\supcount=\count35
\parcount=\count36
) [1] [2] [3] [4] [5] [6] [7]
Overfull \hbox (23.6339pt too wide) in paragraph at lines 195--203, p.6
[]\tenrm A sec-ond or-der struc-tural def-i-ni-tion of be-lief is a sec-ond or-d
er pred-i-cate $\teni ↑↑L\tenrm (\tenit W\teni ; \tenit M\teni ; \tenit B\tenrm 
)$.

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x20.0
.\tenrm A
.\glue 3.33333 plus 1.66498 minus 1.11221
.\tenrm s
.\tenrm e
.etc.

[8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22]
[23] [24] [25] [26] [27]
Overfull \hbox (1.88577pt too wide) in paragraph at lines 34--37, p.12
\tenbf McCarthy, John \tenrm (1959) Pro-grams with Com-mon Sense. \tenit Mech-a-
ni-sa-tion of Thought

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenbf M
.\tenbf c
.\tenbf C
.\tenbf a
.\tenbf r
.etc.

[28] [29]
Output written on MENTAL.DVI[1,JMC] (29 pages, 106688 bytes).